-
1 автоматическое доказательство теорем
1) Linguistics: automatic theoreme-proving2) Programming: automatic theorem proving, theorem proving (одно из направлений исследований и разработок в области искусственного интеллекта)Универсальный русско-английский словарь > автоматическое доказательство теорем
См. также в других словарях:
Mathematical logic — (also known as symbolic logic) is a subfield of mathematics with close connections to foundations of mathematics, theoretical computer science and philosophical logic.[1] The field includes both the mathematical study of logic and the… … Wikipedia